| 翻訳と辞書 |
| Nerve (category theory) ： ウィキペディア英語版 |
Nerve (category theory)
In category theory, a discipline within mathematics, the nerve ''N''(''C'') of a small category ''C'' is a simplicial set constructed from the objects and morphisms of ''C''. The geometric realization of this simplicial set is a topological space, called the classifying space of the category ''C''. These closely related objects can provide information about some familiar and useful categories using algebraic topology, most often homotopy theory.
==Motivation==
The nerve of a category is often used to construct topological versions of moduli spaces. If ''X'' is an object of ''C'', its moduli space should somehow encode all objects isomorphic to ''X'' and keep track of the various isomorphisms between all of these objects in that category. This can become rather complicated, especially if the objects have many non-identity automorphisms. The nerve provides a combinatorial way of organizing this data. Since simplicial sets have a good homotopy theory, one can ask questions about the meaning of the various homotopy groups πn(''N''(''C'')). One hopes that the answers to such questions provide interesting information about the original category ''C'', or about related categories.
The notion of nerve is a direct generalization of the classical notion of classifying space of a discrete group; see below for details.
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「Nerve (category theory)」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|